/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package UI;

/**
 *
 * @author gur04686
 */
public class TypeEditorWindowListener extends java.awt.event.WindowAdapter {
    
    private MainWindow window_obj;
    
    public TypeEditorWindowListener() {
        super();
    }
    
    public TypeEditorWindowListener(MainWindow window_obj) {
        super();
        this.window_obj = window_obj;
    }
    
    @Override public void windowClosed(java.awt.event.WindowEvent e) {
        window_obj.setEnabled(true);
        super.windowClosed(e);
    }
}
